This collection of research papers explores the implications of quantum cosmology and the status of the laws of nature for theological and philosophical issues regarding God's action in the world. The main goal is to contribute to constructive theology as it engages current research in the natural sciences, and to investigate the philosophical and theological elements in ongoing theoretical research in the natural sciences.

Recent developments in quantum theory have focused attention on fundamental questions, in particular on whether it might be necessary to modify quantum mechanics to reconcile quantum gravity and general relativity. This book is based on a conference held in Oxford in the spring of 1984 to discuss quantum gravity. It brings together contributors who examine different aspects of the problem, including the experimental support for quantum mechanics, its strange and apparently paradoxical features, its underlying philosophy, and possible modifications to the (...) theory. (shrink)

We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Sec.1, we introduce these problems. In Sec.2, we introduce topos theory, especially the idea of a topos of presheaves. In Sec.3, we discuss several possible applications of topos theory to the problems in Sec.1. In Sec.4, we draw some conclusions.

We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded as objects in a category whose arrows are structure-preserving maps. This motivates investigating the general problem of quantising a system whose ‘configuration space’ (or history-theory analogue) is the set of objects Ob(Q) in a category Q. We develop a scheme based on constructing (...) an analogue of the group that is used in the canonical quantisation of a system whose configuration space is a manifold Q ≃ G/H, where G and H are Lie groups. In particular, we choose as the analogue of G the monoid of “arrow fields” on Q. Physically, this means that an arrow between two objects in the category is viewed as an analogue of momentum. After finding the ‘category quantisation monoid’, we show how suitable representations can be constructed using a bundle (or, more precisely, presheaf) of Hilbert spaces over Ob(Q). For the example of a category of finite sets, we construct an explicit representation structure of this type. (shrink)